package interfaces;

import impl.reasoning.ChoiceResult;
import impl.util.UtilityAssertion;

import java.util.Collection;
import java.util.Map;

import org.semanticweb.owlapi.model.OWLNamedIndividual;

public interface UDecideReasonerInterface {

	public Collection<OWLNamedIndividual> getSatisfyingChoicesForUtilityAssertion(UtilityAssertion uAssertion);

	public Map<OWLNamedIndividual, ChoiceResult> getAllChoiceResults();

	public ChoiceResult getChoiceResult(OWLNamedIndividual choice);

}
